Cadence
Silicon Canvas
hp
Click here for EDAToolsCafe Click here for EDAToolsCafe Click here for Internet Business Systems Click here for Hewlett Packard Click here for EDAToolsCafe
Search:
  Home | EDAVision | Companies | Downloads | Interviews | Forums | News | Resources |  ItZnewz  | |   | PCBCafe
  Check Mail | Submit Material | Universities | Books & Courses | Events | Membership | Fun Stuff | Advertise |
 Browse eCatalog:  Subscribe to EDA Daily News
eCatalogAsic & ICPCBFPGADesign ServicesHardwareSIP
Email: 
 EDAToolsCafe 

Printer Friendly Version

Motorola Adopts Mentor Graphics FormalPro for Verification of Multi-Million Gate Cellular Base Station ASICs

WILSONVILLE, Ore.--(BUSINESS WIRE)--May 22, 2002--Mentor Graphics Corporation (Nasdaq:MENT - News) today announced that Motorola's (NYSE:MOT - News) cellular infrastructure design center has selected the Mentor Graphics® formal verification product, FormalPro(TM), for the validation of application-specific integrated circuits (ASICs) for its next-generation base stations. The cellular infrastructure design center, located in Fort Worth, Texas, is using FormalPro to verify designs from multiple locations, including Arlington Heights, Ill., and Swindon, UK.

"We have used FormalPro on three designs of up to three million gates, and the tool is enabling us to meet both our aggressive project schedules and high quality goals," said David Mueller, senior resource manager, Base Transceiver Subsystem Center of Excellence, Motorola, Fort Worth, Texas.

As the complexity of integrated circuits grows, the time required to apply the traditional method of gate level simulation becomes prohibitively long. FormalPro uses equivalence checking to prove that a design is functionally equivalent to a previously validated reference design. This technique enables designers to save months in the time taken to verify their designs at all stages of the implementation process, including RTL, synthesis, design-for-test, layout and engineering change orders.

FormalPro's minimal setup requirements save designers time and enable the easy adoption of formal verification technology into any design flow. The tool's unparalleled capacity enables full-chip verification without the need for partitioning. Furthermore, FormalPro's extensive debugging capabilities isolate the exact location of an error and allow design teams to evaluate corrections without having to leave the tool, further saving weeks of design iterations.

"We are delighted that an industry leader such as Motorola's cellular infrastructure design center has selected FormalPro," said Reily Jacoby, FormalPro product line manager at Mentor Graphics. "Their success demonstrates the strength of FormalPro in meeting the most demanding verification challenges."

About Mentor Graphics

Mentor Graphics Corporation (Nasdaq:MENT - News) is a world leader in electronic hardware and software design solutions, providing products, consulting services and award-winning support for the world's most successful electronics and semiconductor companies. Established in 1981, the company reported revenues over the last 12 months of about $600 million and employs approximately 3,500 people worldwide. Corporate headquarters are located at 8005 S.W. Boeckman Road, Wilsonville, Oregon 97070-7777; Silicon Valley headquarters are located at 1001 Ridder Park Drive, San Jose, California 95131-2314. World Wide Web site: www.mentor.com.

Mentor Graphics is a registered trademark of Mentor Graphics Corporation. FormalPro is a trademark of Mentor Graphics Corporation. All other company or product names are the registered trademarks or trademarks of their respective owners.


Contact:
     Mentor Graphics
     Larry Toda, 503/685-1664
     larry_toda@mentor.com
             or
     Weber Shandwick
     Hayley Luz, 503/552-3726
     hluz@webershandwick.com

http://www.mentor.com/dsm/
http://www.mentor.com/embedded/
http://www.mentor.com/seamless/
http://hdlsolutions.mentor.com/
SynaptiCAD


Click here for Internet Business Systems Copyright 2002, Internet Business Systems, Inc.
1-888-44-WEB-44 --- marketing@ibsystems.com